Proposal of Visual Generalized Rule Programming Model for Prolog

The rule-based programming paradigm is omnipresent in a number of engineering domains. However, there are some fundamental semantical differences between it, and classic programming approaches. No generic solution for using rules to model business logic in classic software has been provided so far. In this paper a new approach for Generalized Rule-based Programming (GREP) is given. It is based on a use of advanced rule representation called XTT, which includes an extended attribute-based language, a non-monotonic inference strategy, with an explicit inference control on the rule level. The paper shows, how some typical programming constructions, as well as classic programs can be modelled in this approach. The paper also presents possibilities of an efficient integration of this technique with existing software systems.